The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv

Source URL: eacsl.kahle.ch

• Theoretical computer science
• Rajeev Alur
• Logic in computer science
• Symposium on Logic in Computer Science
• Automata
• Hybrid automaton
• Formal languages
• Timed automaton

23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

Source URL: www.cs.rhul.ac.uk

Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

Source URL: www.cs.yale.edu

• Logic in computer science
• Symposium on Principles of Programming Languages
• International Semantic Web Conference
• Separation logic
• Automated reasoning
• Computer Aided Verification
• Abstract interpretation
• Vasant Honavar
• Vienna Summer of Logic

Gundersen, T., Heijltjes, W. and Parigot, MAtomic lambda-calculus : A typed lambda-calculus with explicit sharing. In: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 31

Source URL: www.cs.bath.ac.uk

RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

Source URL: www.risc.jku.at

• Theoretical computer science
• Mathematics
• Mathematical logic
• Automated theorem proving
• Logic in computer science
• Type theory
• Unification
• Logic programming
• Anti-unification
• Function
• HindleyMilner type system

Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania

Source URL: www.cis.upenn.edu

• Computer science
• Rajeev Alur
• Formal sciences
• Automata theory
• Model checking
• IEEE Symposium on Logic in Computer Science
• Formal methods
• Formal verification
• Symposium on Theory of Computing
• Theoretical computer science
• Applied mathematics
• Logic in computer science

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: www.clip.dia.fi.upm.es

• Programming paradigms
• Formal sciences
• Association for Computing Machinery
• Principles of Programming Languages
• Formal methods
• International Conference on Logic Programming
• Logic programming
• International Symposium on Logic-based Program Synthesis and Transformation
• Lecture Notes in Computer Science
• Computer science
• Computing
• Software engineering

Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014

Source URL: eacsl.kahle.ch

• Logic in computer science
• IEEE Symposium on Logic in Computer Science
• Kleene award
• Association for Computing Machinery
• Federated Logic Conference
• ACM SIGACT
• Theoretical computer science
• Computer science
• Applied mathematics

Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair)

Source URL: stacs2009.informatik.uni-freiburg.de

• Computer science
• Academic publishing
• University of Freiburg
• Susanne Albers
• Proceedings
• IEEE Symposium on Logic in Computer Science
• Electronic submission
• CONFER
• Theoretical computer science
• Symposium on Theoretical Aspects of Computer Science
• Academia